科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有效的正式fUML模型检查的优化方法。
Abdelhalim, I; Schneider, S; Treharne, H;
机译:优化建模的多代能量系统分析:创新多目标优化模型的优化过程策略与形式化
机译:一种有效选择和评估信息安全控制措施的形式化方法
机译:优化Covid-19患者的羟基氯喹给药:有效药物重新施用的一体化建模方法
机译:有效形式化fUML模型检查的优化方法
机译:通过探索以用户为中心的框架,有效的课程映射的远距离学习方法,使过程正式化
机译:正式化用例模型:基于模型的方法
机译:有效形式化fUmL模型检验的优化方法
机译:基于独立的认知模型检验优化。
机译:使用患者特定的肺部模型评估治疗有效单位的方法
机译:具有资产收益因子模型的大型投资组合优化的半参数方法
机译:使用局部和全局优化的端到端自动化,抽样方法,使用数据分析对客户领导进行预测建模
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。